fmap(identity) == identity